((Unfold `bool{-}decider` 0) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$